#include <stdio.h>
#include <math.h>
#include <stdlib.h>
#include "1.h"

extern FILE * yyin;

int main(int argc,char **argv)
{
  int result;
  yyin = fopen("1.txt","r");
  result = get_token();

  for(;result != 0;result = get_token())
    {
      printf("%d\n",result);
    }
  return 0;
}
